-
1 formal method
Большой англо-русский и русско-английский словарь > formal method
-
2 formal method
Математика: формальный метод -
3 formal method
формальный методEnglish-Russian dictionary of technical terms > formal method
-
4 formal method
мат. -
5 formal method
Англо-русский словарь по исследованиям и ноу-хау > formal method
-
6 formal method: A software engineering method that uses a formal specification language — that is, a language with mathematically defined syntax and semantics
Общая лексика: формальный метод: метод проектирования программ, в котором используется язык формальных спеУниверсальный англо-русский словарь > formal method: A software engineering method that uses a formal specification language — that is, a language with mathematically defined syntax and semantics
-
7 lightweight formal method
матем. упрощённый формальный методEnglish-Russian dictionary of computer science and programming > lightweight formal method
-
8 method
метод; процедура; способ- antithetic variate method - average ordinate method - average range method - binary search method - conjugate directions method - conjugate gradient method - control chart method - conventional milling method - correlation function method - decision function method - differential control method - Feynman diagram method - first approximation method - gradient projection method - iterative method - large sample method - large sieve method - least-squares regression method - less than fully efficient method - linearly implicit method - method of adjoint gradient - method of algebraic addition - method of alternating directions - method of balanced blocks - method of complex numbers - method of confidence intervals - method of conformal mappings - method of conjugate directions - method of conjugate gradients - method of cyclic descent - method of detached coefficients - method of disjunction of cases - method of divided differences - method of electrical images - method of elimination of quantifiers - method of empty ball - method of extreme values - method of false position - method of feasible directions - method of finite differences - method of first approximation - method of first entrance - method of fitting constants - method of fixed points - method of full enumeration - method of generating functions - method of geometric exhaustion - method of indefinite coefficients - method of infinite descent - method of interval bisection - method of least absolute values - method of least distance - method of least likelihood - method of maximum likelihood - method of means and standard deviations - method of medians and extreme values - method of minimal change - method of minimal variance - method of mirror reflections - method of moving frame - method of multiple comparison - method of orthogonal projections - method of paired associates - method of paired comparisons - method of phase integrals - method of projecting cones - method of proportional parts - method of rotating factors - method of semantic tableaux - method of separation of variables - method of simulaneous displacements - method of stationary phase - method of statistical differentials - method of statistical inference - method of steep variations - method of steepest ascent - method of stochastic approximation - method of straightforward iteration - method of successive displacements - method of successive divisions - method of successive elimination - method of transfinite induction - method of unweighted means - method of variable differences - method of variation of parameters - method of weighted residuals - optimum method - parallel tangents method - precision method - random walk method - recursive method - reduced gradient method - reflected wave method - relative method of measurement - sampling method by variables - statistical sampling method - steepest descent method - time average method -
9 method
1) метод; способ (см. тж. technique 1)2) ООП метод (функция - элемент определения класса (class) в языке Smalltalk, в C++ - см. member function)•- alphageometric method
- Amble's method
- ancestor method
- assembly method
- basic access method
- bibliography method
- bit-level method
- branch and bounds method
- buffering method
- building-block method
- chaining method
- checksum method
- coded pattern method
- conditional delay method
- constraint satisfaction method
- critical path method
- cut-and-try method
- cutset method
- dark-spot method
- data access method
- deductive method
- derivative approximation method
- diagonal method
- diagram method
- dichotomy method
- digital sorting method
- direct access method
- exhaustive method
- false position method
- finished method
- finitary method
- finite difference method
- flip-chip method
- flooding method
- flowgraph method
- frequency analysis method
- gradient method
- graphic access method
- heuristic method
- hierarchical access method
- hit-and-miss method
- Horner's method
- hunt-and-stick method
- index register method
- indexed-sequential access method
- inline-code method
- inverse power method
- inverse transformation method
- issue method
- iteration method
- least-squares method
- left-edge method
- lightweight formal method
- linkage method
- longest route method
- machine method
- maximum-likelihood method
- method of quickest descent
- method of selected point
- method of successive approximations
- Monte-Carlo method
- net method
- Newton's method
- nonrestoring method
- N-pass method
- numerical method
- operational method
- opposition method
- overlay method
- part-continuous method
- partitioned access method
- pencil-and-paper method
- perturbation method
- piezoelectric sensing method
- ping-pong method
- power method
- predictor-corrector method
- programming method
- progressive-part method
- proprietary method
- pure virtual method
- queued access method
- queued indexed sequential access method
- radial exploration method
- random-walk method
- recursive descendant method
- regular falsi method
- resetting method
- resident access method
- review article method
- row-by-row method
- rubber band method
- Runge-Kutta method
- saddle point method
- sampling method
- scale factor method
- scan-set method
- scheduling method
- scissors and paste method
- secant method
- sectioning method
- semigroup method
- sequential access method
- shortcut method
- shortcut multiplication method
- sieve method
- simplex method
- single-path instruction method
- sit-by-me instuction method
- state-space method
- steepest descent method
- step-by-step method
- stroke method
- subject profile method
- symbolic method
- symbolical method
- syntactic method
- synthetic method
- target method
- telecommunication access method
- temporal difference method
- time-domain method
- touch method with ten fingers
- trial-and-error method
- truth table method
- variable separation method
- variable-metric method
- variational method
- variation method
- V-brush method
- vernier pulse-timing method
- virtual method
- wire-wrap method
- zero-deflection methodEnglish-Russian dictionary of computer science and programming > method
-
10 method of multiple scales
Математика: (the formal perturbation procedure known as the) метод кратных масштабов (or in its simplest form two-timing relies on...), метод многих масштабовУниверсальный англо-русский словарь > method of multiple scales
-
11 Formal Systems
No less than the death of meaning should we have forecast from a manner of thought that emptied thought of all content, and what else could we expect from a method of analysis that presumed to show that meaning might mysteriously emerge from the mechanical concatenation of meaningless elements?... Whether in art or science nothing is clearer than the intellectual poverty of formalism. (Tyler, 1978, p. 465)Historical dictionary of quotations in cognitive science > Formal Systems
-
12 formal axiomatic method
Макаров: формальный аксиоматический методУниверсальный англо-русский словарь > formal axiomatic method
-
13 formal-titration method
Макаров: метод формального титрования (белка)Универсальный англо-русский словарь > formal-titration method
-
14 formal axiomatic method
English-russian dictionary of physics > formal axiomatic method
-
15 (the formal perturbation procedure known as the) method of multiple scales
Математика: метод кратных масштабов (or in its simplest form two-timing relies on...)Универсальный англо-русский словарь > (the formal perturbation procedure known as the) method of multiple scales
-
16 формально
нареч. nominally, formally;
officially, legallyформальн|о - formally;
~ он прав conventionally speaking, he is right;
подходить к делу ~ adopt a bureaucratic attitude to the case;
~ость ж. formality;
(условие тж.) technicality;
пустая ~ость mere formality;
банковские ~сти bank formalities;
таможенные ~сти customs regulations;
выполнение ~стей execution/fulfilment of formalities;
проходить таможенные ~ости (о грузе) be* cleared through customs;
(о грузополучателе) obtain clearance;
урегулировать ~ости settle formalities;
пренебрегать ~остями brush aside technicalities;
~ый formal;
~ое отношение official/conventional attitude;
~ый метод formal method.Большой англо-русский и русско-английский словарь > формально
-
17 FM
1) Общая лексика: УКВ радиостанция (термин "радио" означает у водителей средние волны)2) Компьютерная техника: Frontend Magic, быстродействующая память (fast memory), быстродействующее запоминающее устройство3) Американизм: Farm To Market4) Спорт: Flyball Master5) Военный термин: Comptroller, Field Marshall, Foreign Materiel, Front Midship, facilities maintenance, facilities management, field maintenance, field modification, field music, financial management, flight manual, foreign military, foreign mission, fully modernized, Factory Marking (s), frequency modulation6) Минералогия: fused magnesia7) Техника: failure-only maintenance, fast magnet, feedback memory, ferrite metal, fibrous material, field memory, focusing mount, folding mirror, fracture mechanics, frames-per-minute, frequency meter, frequency multiplex, minister of foreign affairs, ЧМ, частотная модуляция8) Сельское хозяйство: farmyard manure9) Шутливое выражение: Fun Monkey10) Страхование: Factory Mutual System11) Автомобильный термин: fan motor program in PCM12) Грубое выражение: Fucking Magic, Fucking Mercury13) Музыка: Festive Music, Fine Music, Five Musicians, Free Music, Fresh Music14) Политика: Federated States of Micronesia16) Телевидение: frequency generator17) Телекоммуникации: Function Management18) Сокращение: Fabricaciones Militares (Argentina), Field Manual (USA), Field Marshal (British Army), Flight Mishap (see also FRM), Folding Money, Foreign Minister, Titanium tetrachloride (Chemical warfare smoke mixture), field manual, fire main, fulminate of mercury, manufacturer's responsibility, (Federated States of) Micronesia, FIDE Master (chess), Facial Myokymia, Facility Management, Facility Manager, Facility Map (FAA ARTCC mapping of areas to a facility), Facility Module, Facing Matter, Factory Model, Factory Mutual, Failure Mode, Fairbanks-Morse, Family Medicine, Family Member (AUXMIS), Family Room, Fan Marker, Farm to Market (secondary road, Texas), Fast Messages, Fat Man (atomic bomb), Faulkner Mazda (Pennsylvania), Fault Management, February, March (budget times in Indian states), Fecal Matter, Fecit Monumentum (Latin: Built A Monument, epigraphy), Federal Mediation and Conciliation Service, Federated States of Micronesia (US postal abbreviation), Femtometer (10 E^-15, one quadrillionth of a meter), Ferdinand Marcos, Ferromagnetic, Fetal Movement, Fibromyalgia, Fibrosing Mediastinitis, Fibrous Monolith, Field Marshal, File Maintenance, Filio Mater (Latin: Mother to Her Son, epigraphy), Filio Morenti (Latin: To His/Her Dying Son, epigraphy), Filius Matri (Latin: Son to His Mother, epigraphy), Filosofian Maisteri (Finnish: masters degree), Finance Manager, Finance Memorandum, Financial Manager, Financial Minister, Finished Machined, Fire Marshall, Fire Mission, Fireman, Fiscal Management, Fish Meal, Fissile Material, Fleetwood Mac (band), Flight Model, Flogging Molly (band), Floor Manager, Flow Manufacturing, Flow Meter, Flying Monkeys, Follow Me, Font Metrics, Football Manager (computer game), Force Main (civil/hydraulic engineering), Force Majeure (French: Greater Force), Force Management, Force Modernization, Force Module, Forest Management, Formal Method(s), Format, Fort Minor (band), Fort Myers (Florida), Forum Moderator (message boards), Fox Mulder (X-Files character), Franklin Mint, Freaking Magic (polite form), Freddie Mercury (Queen lead singer), Free Market, Frequency Management, Frequency Modulate, Frequency Multiplier (NIOSH), Friable Material, Frijoles Mesa Site, From, Front Matter, Front Midship (Nissan), Frontier Mountains (Everquest), Fukai Mori (Japanese song, Inuyasha closing theme), Full Mana, Full Migration, Full Moon, Functional Manager, Functional Module, Funky Monkey (104.9 FM Seattle, WA radio station), Fusion Module19) Университет: Fundamental Mathematics20) Физиология: Female Male21) Электроника: Freak Magnet, Frequency Matching, Frequency Multiplier22) Вычислительная техника: Frequenz-Modulation, file memory, файловое ЗУ23) Нефть: наставление по эксплуатации (field manual), техническое обслуживание в процессе эксплуатации (field maintenance), техническое обслуживание при появлении отказа (failure maintenance), тип отказа (failure mode), характер отказа (failure mode)24) Картография: Foreign Mercator25) Силикатное производство: fineness modulus26) Фирменный знак: Fujitsu Micro27) Экология: fish migration28) СМИ: Free Movies29) Глоссарий компании Сахалин Энерджи: Factory Mutual Engineering Corp., field manager30) Полимеры: fair merchantable31) Программирование: Fill Mode32) Автоматика: flexible manufacturing33) Прокат: Flour Milling34) Химическое оружие: titanium tetrachloride35) Авиационная медицина: muscular fatigue36) Макаров: frequency-modulated37) Расширение файла: Database (FileMaker Pro)38) SAP.тех. функциональный модуль39) Нефть и газ: Factory Mutual Intrinsically safe and Nonincendive Approval40) Электротехника: field meter, frequency modulation41) Имена и фамилии: Frank Murphy42) Должность: File Man, Film And Music, Floor Mat43) НАСА: Flight Module44) Единицы измерений: Femto Meter -
18 Fm
1) Общая лексика: УКВ радиостанция (термин "радио" означает у водителей средние волны)2) Компьютерная техника: Frontend Magic, быстродействующая память (fast memory), быстродействующее запоминающее устройство3) Американизм: Farm To Market4) Спорт: Flyball Master5) Военный термин: Comptroller, Field Marshall, Foreign Materiel, Front Midship, facilities maintenance, facilities management, field maintenance, field modification, field music, financial management, flight manual, foreign military, foreign mission, fully modernized, Factory Marking (s), frequency modulation6) Минералогия: fused magnesia7) Техника: failure-only maintenance, fast magnet, feedback memory, ferrite metal, fibrous material, field memory, focusing mount, folding mirror, fracture mechanics, frames-per-minute, frequency meter, frequency multiplex, minister of foreign affairs, ЧМ, частотная модуляция8) Сельское хозяйство: farmyard manure9) Шутливое выражение: Fun Monkey10) Страхование: Factory Mutual System11) Автомобильный термин: fan motor program in PCM12) Грубое выражение: Fucking Magic, Fucking Mercury13) Музыка: Festive Music, Fine Music, Five Musicians, Free Music, Fresh Music14) Политика: Federated States of Micronesia16) Телевидение: frequency generator17) Телекоммуникации: Function Management18) Сокращение: Fabricaciones Militares (Argentina), Field Manual (USA), Field Marshal (British Army), Flight Mishap (see also FRM), Folding Money, Foreign Minister, Titanium tetrachloride (Chemical warfare smoke mixture), field manual, fire main, fulminate of mercury, manufacturer's responsibility, (Federated States of) Micronesia, FIDE Master (chess), Facial Myokymia, Facility Management, Facility Manager, Facility Map (FAA ARTCC mapping of areas to a facility), Facility Module, Facing Matter, Factory Model, Factory Mutual, Failure Mode, Fairbanks-Morse, Family Medicine, Family Member (AUXMIS), Family Room, Fan Marker, Farm to Market (secondary road, Texas), Fast Messages, Fat Man (atomic bomb), Faulkner Mazda (Pennsylvania), Fault Management, February, March (budget times in Indian states), Fecal Matter, Fecit Monumentum (Latin: Built A Monument, epigraphy), Federal Mediation and Conciliation Service, Federated States of Micronesia (US postal abbreviation), Femtometer (10 E^-15, one quadrillionth of a meter), Ferdinand Marcos, Ferromagnetic, Fetal Movement, Fibromyalgia, Fibrosing Mediastinitis, Fibrous Monolith, Field Marshal, File Maintenance, Filio Mater (Latin: Mother to Her Son, epigraphy), Filio Morenti (Latin: To His/Her Dying Son, epigraphy), Filius Matri (Latin: Son to His Mother, epigraphy), Filosofian Maisteri (Finnish: masters degree), Finance Manager, Finance Memorandum, Financial Manager, Financial Minister, Finished Machined, Fire Marshall, Fire Mission, Fireman, Fiscal Management, Fish Meal, Fissile Material, Fleetwood Mac (band), Flight Model, Flogging Molly (band), Floor Manager, Flow Manufacturing, Flow Meter, Flying Monkeys, Follow Me, Font Metrics, Football Manager (computer game), Force Main (civil/hydraulic engineering), Force Majeure (French: Greater Force), Force Management, Force Modernization, Force Module, Forest Management, Formal Method(s), Format, Fort Minor (band), Fort Myers (Florida), Forum Moderator (message boards), Fox Mulder (X-Files character), Franklin Mint, Freaking Magic (polite form), Freddie Mercury (Queen lead singer), Free Market, Frequency Management, Frequency Modulate, Frequency Multiplier (NIOSH), Friable Material, Frijoles Mesa Site, From, Front Matter, Front Midship (Nissan), Frontier Mountains (Everquest), Fukai Mori (Japanese song, Inuyasha closing theme), Full Mana, Full Migration, Full Moon, Functional Manager, Functional Module, Funky Monkey (104.9 FM Seattle, WA radio station), Fusion Module19) Университет: Fundamental Mathematics20) Физиология: Female Male21) Электроника: Freak Magnet, Frequency Matching, Frequency Multiplier22) Вычислительная техника: Frequenz-Modulation, file memory, файловое ЗУ23) Нефть: наставление по эксплуатации (field manual), техническое обслуживание в процессе эксплуатации (field maintenance), техническое обслуживание при появлении отказа (failure maintenance), тип отказа (failure mode), характер отказа (failure mode)24) Картография: Foreign Mercator25) Силикатное производство: fineness modulus26) Фирменный знак: Fujitsu Micro27) Экология: fish migration28) СМИ: Free Movies29) Глоссарий компании Сахалин Энерджи: Factory Mutual Engineering Corp., field manager30) Полимеры: fair merchantable31) Программирование: Fill Mode32) Автоматика: flexible manufacturing33) Прокат: Flour Milling34) Химическое оружие: titanium tetrachloride35) Авиационная медицина: muscular fatigue36) Макаров: frequency-modulated37) Расширение файла: Database (FileMaker Pro)38) SAP.тех. функциональный модуль39) Нефть и газ: Factory Mutual Intrinsically safe and Nonincendive Approval40) Электротехника: field meter, frequency modulation41) Имена и фамилии: Frank Murphy42) Должность: File Man, Film And Music, Floor Mat43) НАСА: Flight Module44) Единицы измерений: Femto Meter -
19 fm
1) Общая лексика: УКВ радиостанция (термин "радио" означает у водителей средние волны)2) Компьютерная техника: Frontend Magic, быстродействующая память (fast memory), быстродействующее запоминающее устройство3) Американизм: Farm To Market4) Спорт: Flyball Master5) Военный термин: Comptroller, Field Marshall, Foreign Materiel, Front Midship, facilities maintenance, facilities management, field maintenance, field modification, field music, financial management, flight manual, foreign military, foreign mission, fully modernized, Factory Marking (s), frequency modulation6) Минералогия: fused magnesia7) Техника: failure-only maintenance, fast magnet, feedback memory, ferrite metal, fibrous material, field memory, focusing mount, folding mirror, fracture mechanics, frames-per-minute, frequency meter, frequency multiplex, minister of foreign affairs, ЧМ, частотная модуляция8) Сельское хозяйство: farmyard manure9) Шутливое выражение: Fun Monkey10) Страхование: Factory Mutual System11) Автомобильный термин: fan motor program in PCM12) Грубое выражение: Fucking Magic, Fucking Mercury13) Музыка: Festive Music, Fine Music, Five Musicians, Free Music, Fresh Music14) Политика: Federated States of Micronesia16) Телевидение: frequency generator17) Телекоммуникации: Function Management18) Сокращение: Fabricaciones Militares (Argentina), Field Manual (USA), Field Marshal (British Army), Flight Mishap (see also FRM), Folding Money, Foreign Minister, Titanium tetrachloride (Chemical warfare smoke mixture), field manual, fire main, fulminate of mercury, manufacturer's responsibility, (Federated States of) Micronesia, FIDE Master (chess), Facial Myokymia, Facility Management, Facility Manager, Facility Map (FAA ARTCC mapping of areas to a facility), Facility Module, Facing Matter, Factory Model, Factory Mutual, Failure Mode, Fairbanks-Morse, Family Medicine, Family Member (AUXMIS), Family Room, Fan Marker, Farm to Market (secondary road, Texas), Fast Messages, Fat Man (atomic bomb), Faulkner Mazda (Pennsylvania), Fault Management, February, March (budget times in Indian states), Fecal Matter, Fecit Monumentum (Latin: Built A Monument, epigraphy), Federal Mediation and Conciliation Service, Federated States of Micronesia (US postal abbreviation), Femtometer (10 E^-15, one quadrillionth of a meter), Ferdinand Marcos, Ferromagnetic, Fetal Movement, Fibromyalgia, Fibrosing Mediastinitis, Fibrous Monolith, Field Marshal, File Maintenance, Filio Mater (Latin: Mother to Her Son, epigraphy), Filio Morenti (Latin: To His/Her Dying Son, epigraphy), Filius Matri (Latin: Son to His Mother, epigraphy), Filosofian Maisteri (Finnish: masters degree), Finance Manager, Finance Memorandum, Financial Manager, Financial Minister, Finished Machined, Fire Marshall, Fire Mission, Fireman, Fiscal Management, Fish Meal, Fissile Material, Fleetwood Mac (band), Flight Model, Flogging Molly (band), Floor Manager, Flow Manufacturing, Flow Meter, Flying Monkeys, Follow Me, Font Metrics, Football Manager (computer game), Force Main (civil/hydraulic engineering), Force Majeure (French: Greater Force), Force Management, Force Modernization, Force Module, Forest Management, Formal Method(s), Format, Fort Minor (band), Fort Myers (Florida), Forum Moderator (message boards), Fox Mulder (X-Files character), Franklin Mint, Freaking Magic (polite form), Freddie Mercury (Queen lead singer), Free Market, Frequency Management, Frequency Modulate, Frequency Multiplier (NIOSH), Friable Material, Frijoles Mesa Site, From, Front Matter, Front Midship (Nissan), Frontier Mountains (Everquest), Fukai Mori (Japanese song, Inuyasha closing theme), Full Mana, Full Migration, Full Moon, Functional Manager, Functional Module, Funky Monkey (104.9 FM Seattle, WA radio station), Fusion Module19) Университет: Fundamental Mathematics20) Физиология: Female Male21) Электроника: Freak Magnet, Frequency Matching, Frequency Multiplier22) Вычислительная техника: Frequenz-Modulation, file memory, файловое ЗУ23) Нефть: наставление по эксплуатации (field manual), техническое обслуживание в процессе эксплуатации (field maintenance), техническое обслуживание при появлении отказа (failure maintenance), тип отказа (failure mode), характер отказа (failure mode)24) Картография: Foreign Mercator25) Силикатное производство: fineness modulus26) Фирменный знак: Fujitsu Micro27) Экология: fish migration28) СМИ: Free Movies29) Глоссарий компании Сахалин Энерджи: Factory Mutual Engineering Corp., field manager30) Полимеры: fair merchantable31) Программирование: Fill Mode32) Автоматика: flexible manufacturing33) Прокат: Flour Milling34) Химическое оружие: titanium tetrachloride35) Авиационная медицина: muscular fatigue36) Макаров: frequency-modulated37) Расширение файла: Database (FileMaker Pro)38) SAP.тех. функциональный модуль39) Нефть и газ: Factory Mutual Intrinsically safe and Nonincendive Approval40) Электротехника: field meter, frequency modulation41) Имена и фамилии: Frank Murphy42) Должность: File Man, Film And Music, Floor Mat43) НАСА: Flight Module44) Единицы измерений: Femto Meter -
20 Thinking
But what then am I? A thing which thinks. What is a thing which thinks? It is a thing which doubts, understands, [conceives], affirms, denies, wills, refuses, which also imagines and feels. (Descartes, 1951, p. 153)I have been trying in all this to remove the temptation to think that there "must be" a mental process of thinking, hoping, wishing, believing, etc., independent of the process of expressing a thought, a hope, a wish, etc.... If we scrutinize the usages which we make of "thinking," "meaning," "wishing," etc., going through this process rids us of the temptation to look for a peculiar act of thinking, independent of the act of expressing our thoughts, and stowed away in some particular medium. (Wittgenstein, 1958, pp. 41-43)Analyse the proofs employed by the subject. If they do not go beyond observation of empirical correspondences, they can be fully explained in terms of concrete operations, and nothing would warrant our assuming that more complex thought mechanisms are operating. If, on the other hand, the subject interprets a given correspondence as the result of any one of several possible combinations, and this leads him to verify his hypotheses by observing their consequences, we know that propositional operations are involved. (Inhelder & Piaget, 1958, p. 279)In every age, philosophical thinking exploits some dominant concepts and makes its greatest headway in solving problems conceived in terms of them. The seventeenth- and eighteenth-century philosophers construed knowledge, knower, and known in terms of sense data and their association. Descartes' self-examination gave classical psychology the mind and its contents as a starting point. Locke set up sensory immediacy as the new criterion of the real... Hobbes provided the genetic method of building up complex ideas from simple ones... and, in another quarter, still true to the Hobbesian method, Pavlov built intellect out of conditioned reflexes and Loeb built life out of tropisms. (S. Langer, 1962, p. 54)Experiments on deductive reasoning show that subjects are influenced sufficiently by their experience for their reasoning to differ from that described by a purely deductive system, whilst experiments on inductive reasoning lead to the view that an understanding of the strategies used by adult subjects in attaining concepts involves reference to higher-order concepts of a logical and deductive nature. (Bolton, 1972, p. 154)There are now machines in the world that think, that learn and create. Moreover, their ability to do these things is going to increase rapidly until-in the visible future-the range of problems they can handle will be coextensive with the range to which the human mind has been applied. (Newell & Simon, quoted in Weizenbaum, 1976, p. 138)But how does it happen that thinking is sometimes accompanied by action and sometimes not, sometimes by motion, and sometimes not? It looks as if almost the same thing happens as in the case of reasoning and making inferences about unchanging objects. But in that case the end is a speculative proposition... whereas here the conclusion which results from the two premises is an action.... I need covering; a cloak is a covering. I need a cloak. What I need, I have to make; I need a cloak. I have to make a cloak. And the conclusion, the "I have to make a cloak," is an action. (Nussbaum, 1978, p. 40)It is well to remember that when philosophy emerged in Greece in the sixth century, B.C., it did not burst suddenly out of the Mediterranean blue. The development of societies of reasoning creatures-what we call civilization-had been a process to be measured not in thousands but in millions of years. Human beings became civilized as they became reasonable, and for an animal to begin to reason and to learn how to improve its reasoning is a long, slow process. So thinking had been going on for ages before Greece-slowly improving itself, uncovering the pitfalls to be avoided by forethought, endeavoring to weigh alternative sets of consequences intellectually. What happened in the sixth century, B.C., is that thinking turned round on itself; people began to think about thinking, and the momentous event, the culmination of the long process to that point, was in fact the birth of philosophy. (Lipman, Sharp & Oscanyan, 1980, p. xi)The way to look at thought is not to assume that there is a parallel thread of correlated affects or internal experiences that go with it in some regular way. It's not of course that people don't have internal experiences, of course they do; but that when you ask what is the state of mind of someone, say while he or she is performing a ritual, it's hard to believe that such experiences are the same for all people involved.... The thinking, and indeed the feeling in an odd sort of way, is really going on in public. They are really saying what they're saying, doing what they're doing, meaning what they're meaning. Thought is, in great part anyway, a public activity. (Geertz, quoted in J. Miller, 1983, pp. 202-203)Everything should be made as simple as possible, but not simpler. (Einstein, quoted in Minsky, 1986, p. 17)What, in effect, are the conditions for the construction of formal thought? The child must not only apply operations to objects-in other words, mentally execute possible actions on them-he must also "reflect" those operations in the absence of the objects which are replaced by pure propositions. Thus, "reflection" is thought raised to the second power. Concrete thinking is the representation of a possible action, and formal thinking is the representation of a representation of possible action.... It is not surprising, therefore, that the system of concrete operations must be completed during the last years of childhood before it can be "reflected" by formal operations. In terms of their function, formal operations do not differ from concrete operations except that they are applied to hypotheses or propositions [whose logic is] an abstract translation of the system of "inference" that governs concrete operations. (Piaget, quoted in Minsky, 1986, p. 237)[E]ven a human being today (hence, a fortiori, a remote ancestor of contemporary human beings) cannot easily or ordinarily maintain uninterrupted attention on a single problem for more than a few tens of seconds. Yet we work on problems that require vastly more time. The way we do that (as we can observe by watching ourselves) requires periods of mulling to be followed by periods of recapitulation, describing to ourselves what seems to have gone on during the mulling, leading to whatever intermediate results we have reached. This has an obvious function: namely, by rehearsing these interim results... we commit them to memory, for the immediate contents of the stream of consciousness are very quickly lost unless rehearsed.... Given language, we can describe to ourselves what seemed to occur during the mulling that led to a judgment, produce a rehearsable version of the reaching-a-judgment process, and commit that to long-term memory by in fact rehearsing it. (Margolis, 1987, p. 60)Historical dictionary of quotations in cognitive science > Thinking
См. также в других словарях:
Formal methods — In computer science and software engineering, formal methods are particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems.cite web|author=R. W. Butler|title=What is… … Wikipedia
Formal science — A formal science is a theoretical study that is concerned with theoretical formal systems, for instance, logic, mathematics, systems theory and the theoretical branches of computer science, information theory, economics, statistics, and… … Wikipedia
Formal system — In formal logic, a formal system (also called a logical system,Audi, Robert (Editor). The Cambridge Dictionary of Philosophy . Second edition, Cambridge University Press, 1999. ISBN 978 0521631365 (hardcover) and ISBN 978 0521637220 (paperback).] … Wikipedia
Formal language — A formal language is a set of words , i.e. finite strings of letters , or symbols . The inventory from which these letters are taken is called the alphabet over which the language is defined. A formal language is often defined by means of a… … Wikipedia
Formal — Form al (f[^o]rm al), a. [L. formalis: cf. F. formel.] 1. Belonging to the form, shape, frame, external appearance, or organization of a thing. [1913 Webster] 2. Belonging to the constitution of a thing, as distinguished from the matter composing … The Collaborative International Dictionary of English
Formal cause — Formal Form al (f[^o]rm al), a. [L. formalis: cf. F. formel.] 1. Belonging to the form, shape, frame, external appearance, or organization of a thing. [1913 Webster] 2. Belonging to the constitution of a thing, as distinguished from the matter… … The Collaborative International Dictionary of English
Method acting — is a phrase that loosely refers to a family of techniques used by actors to create in themselves the thoughts and emotions of their characters, so as to develop lifelike performances. It can be contrasted with more classical forms of acting, in… … Wikipedia
Formal concept analysis — is a principled way of automatically deriving an ontology from a collection of objects and their properties. The term was introduced by Rudolf Wille in 1984, and builds on applied lattice and order theory that was developed by Birkhoff and others … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Formal interpretation — A formal interpretation [http://books.google.com/books?id=weKqT3ka5g0C pg=PA74 lpg=PA74 dq=%22Formal+interpretation%22+%22formal+language%22 source=web ots=pLN ms7Wi2 sig=P JqwdzOqLcX4nMpP64qmacnkDU hl=en#PPA74,M1 Cann Ronnie, Formal Semantics:… … Wikipedia
Formal charge — 2006, 83, 791. [http://www.jce.divched.org/Journal/Issues/2006/May/abs791.html Abstract] ] .The formal charge can be calculated by the following equation:FC = number of valence electrons of the atom number of lone pair electrons on this atom half … Wikipedia